formal property of grammar

文法的形式性质